大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Total Systems Reliability Symposium (1983 : National Bureau of Standards) 的图书(共8231本)

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

0
索取号:
作者:Halbwachs、 Nicolas.、Zuck、 Lenore D.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Embedded Systems Design [electronic resource] : The ARTIST Roadmap for Research and Development

0
索取号:
作者:Bouyssounouse、 Bruno.、Sifakis、 Joseph.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Static Analysis [electronic resource] : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings

0
索取号:
作者:Hankin、 Chris.、Siveroni、 Igor.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Databases in Networked Information Systems [electronic resource] : 4th International Workshop, DNIS 2005, Aizu-Wakamatsu, Japan, March 28-30, 2005. Proceedings

0
索取号:
作者:Bhalla、 Subhash.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Automated Technology for Verification and Analysis [electronic resource] : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings

0
索取号:
作者:Peled、 Doron A.、Tsay、 Yih-Kuen.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Database and XML Technologies [electronic resource] : Third International XML Database Symposium, XSym 2005, Trondheim, Norway, August 28-29, 2005. Proceedings

0
索取号:
作者:Bressan、 St茅phane.、Ceri、 Stefano.、Hunt、 Ela.、Ives、 Zachary G.、Bellahs猫ne、 Zohra.、Rys、 Michael.、Unland、 Rainer.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Systems Aspects in Organic and Pervasive Computing - ARCS 2005 [electronic resource] : 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14-17, 2005. Proceedings

0
索取号:
作者:Beigl、 Michael.、Lukowicz、 Paul.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Web and Wireless Geographical Information Systems [electronic resource] : 4th International Workshop, W2GIS 2004, Goyang, Korea, November 26-27, 2004, Revised Selected Papers

0
索取号:
作者:Kwon、 Yong-Jin.、Bouju、 Alain.、Claramunt、 Christophe.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Wireless Systems and Mobility in Next Generation Internet [electronic resource] : First International Workshop of the EURO-NGI Network of Excellence, Dagstuhl Castle, Germany, June 7-9, 2004. Revised Selected Papers

0
索取号:
作者:Kotsis、 Gabriele.、Spaniol、 Otto.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Engineering Human Computer Interaction and Interactive Systems [electronic resource] : Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers

0
索取号:
作者:Bastide、 R茅mi.、Palanque、 Philippe.、Roth、 J枚rg.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Hybrid Systems: Computation and Control [electronic resource] : 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings

0
索取号:
作者:Morari、 Manfred.、Thiele、 Lothar.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Algorithms-ESA 2005 [electronic resource] : 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005. Proceedings

0
索取号:
作者:Brodal、 Gerth St酶lting.、Leonardi、 Stefano.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Foundations of Intelligent Systems [electronic resource] : 15th International Symposium, ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005. Proceedings

0
索取号:
作者:Hacid、 Mohand-Said.、Murray、 Neil V.、Ra艣、 Zbigniew W.、Tsumoto、 Shusaku.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Agent-Oriented Information Systems II [electronic resource] : 6th International Bi-Conference Workshop, AOIS 2004, Riga, Latvia, June 8, 2004, and New York, NY, USA, July 20, 2004, Revised Selected Papers

0
索取号:
作者:Bresciani、 Paolo.、Giorgini、 Paolo.、Henderson-Sellers、 Brian.、Low、 Graham.、Winikoff、 Michael.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Advances in Multimedia Information Systems [electronic resource] : 11th International Workshop, MIS 2005, Sorrento, Italy, September 19-21, 2005. Proceedings

0
索取号:
作者:Candan、 K. Sel莽uk.、Celentano、 Augusto.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Pattern Recognition [electronic resource] : 27th DAGM Symposium, Vienna, Austria, August 31 - September 2, 2005. Proceedings

0
索取号:
作者:Kropatsch、 Walter G.、Sablatnig、 Robert.、Hanbury、 Allan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
最近添加的分类